int main () {
	42;
}
